контравариантный функтор

См. также в других словарях:

• Контравариантный функтор — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор  это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… …   Википедия

• ФУНКТОР — отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. из в наз. пара отображений обозначаемых обычно одной и той же буквой, напр. F… …   Математическая энциклопедия

• ГРОТЕНДИКА ФУНКТОР — функтор вложения (см. Вложение категорий).из категории Св категорию контравариантных функторов, определенных на С и принимающих значения в категории множеств (Ens). Пусть X объект [U категории С(где U фиксированное универсальное множество);… …   Математическая энциклопедия

• ПРЕДСТАВИМЫЙ ФУНКТОР — ковариантный (или контравариантный) функтор Fиз нек рой категории в категорию множеств , изоморфный одному из основных теоретико множественных функторов: Функтор представим тогда и только тогда, когда найдутся такие объект и элемент , что для… …   Математическая энциклопедия

• ПРОИЗВОДНЫЙ ФУНКТОР — функтор, измеряющий отклонение основного функтора от точного. Пусть Т( А, С). аддитивный функтор из категории R1 модулей и R2 модулей в категорию R модулей, ковариантный по первому аргументу и контравариантный по второму. Для инъективной… …   Математическая энциклопедия

• СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… …   Математическая энциклопедия

• МНОГОМЕСТНЫЙ ФУНКТОР — мультифунктор, функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий… …   Математическая энциклопедия

• СИМПЛИЦИАЛЬНЫЙ ОБЪЕКТ — категории произвольный контравариантный функтор X: (или, что то же самое, ковариантный функтор ) из категории D, объектами к рой являются упорядоченные множества [n]={0, 1, . . ., п}, , а морфизмами неубывающие отображения m: . Ковариантный… …   Математическая энциклопедия

• Естественное преобразование — (функторный морфизм)  одно из основных понятий теории категорий. Если и   ковариантные функторы из категории в , то отображение, при котором каждому объекту категории соответствует морфизм …   Википедия

• Функторный морфизм — Естественное преобразование (функторный морфизм)  одно из основных понятий теории категорий. Если S и T  ковариантные функторы из категории в , то отображение, при котором каждому объекту C категории соответствует морфизм категории …   Википедия